हाल ही में, xAI के इंजीनियर Hieu Pham ने सोशल मीडिया पर एक "विस्फोटक" समाचार साझा किया, जिसमें कहा गया कि xAI के बड़े भाषा मॉडल Grok3 ने रिमान अटकल का सफलतापूर्वक प्रमाण दिया है और इस कारण से मॉडल के प्रशिक्षण को निलंबित कर दिया गया है। इस समाचार ने AI क्षेत्र में तुरंत हलचल मचा दी, नेटिज़न्स सदमा में थे और सत्यता को पहचानने में असमर्थ थे। आखिरकार, रिमान अटकल, सहस्त्राब्दी के सात बड़े गणितीय समस्याओं में से एक है, जिसे "अटकलों का मुकुट" कहा जाता है, इसकी कठिनाई का अनुमान लगाया जा सकता है। कुछ घंटे बाद, Pham ने एक अन्य पोस्ट में उत्तर प्रकट किया: यह केवल एक मजाक था।